/**
 */
package Alloy;

import org.eclipse.emf.ecore.EAttribute;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EEnum;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.EReference;

/**
 * <!-- begin-user-doc -->
 * The <b>Package</b> for the model.
 * It contains accessors for the meta objects to represent
 * <ul>
 *   <li>each class,</li>
 *   <li>each feature of each class,</li>
 *   <li>each operation of each class,</li>
 *   <li>each enum,</li>
 *   <li>and each data type</li>
 * </ul>
 * <!-- end-user-doc -->
 * @see Alloy.AlloyFactory
 * @model kind="package"
 * @generated
 */
public interface AlloyPackage extends EPackage {
	/**
	 * The package name.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 */
	String eNAME = "Alloy";

	/**
	 * The package namespace URI.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 */
	String eNS_URI = "http://csc.utwente.nl/obsl/alloy";

	/**
	 * The package namespace name.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 */
	String eNS_PREFIX = "Alloy";

	/**
	 * The singleton instance of the package.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 */
	AlloyPackage eINSTANCE = Alloy.impl.AlloyPackageImpl.init();

	/**
	 * The meta object id for the '{@link Alloy.impl.SpecificationImpl <em>Specification</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.SpecificationImpl
	 * @see Alloy.impl.AlloyPackageImpl#getSpecification()
	 * @generated
	 */
	int SPECIFICATION = 0;

	/**
	 * The feature id for the '<em><b>Classifiers</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SPECIFICATION__CLASSIFIERS = 0;

	/**
	 * The feature id for the '<em><b>Rulesets</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SPECIFICATION__RULESETS = 1;

	/**
	 * The number of structural features of the '<em>Specification</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SPECIFICATION_FEATURE_COUNT = 2;

	/**
	 * The number of operations of the '<em>Specification</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SPECIFICATION_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.UniversalImpl <em>Universal</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.UniversalImpl
	 * @see Alloy.impl.AlloyPackageImpl#getUniversal()
	 * @generated
	 */
	int UNIVERSAL = 1;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int UNIVERSAL__NAME = 0;

	/**
	 * The number of structural features of the '<em>Universal</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int UNIVERSAL_FEATURE_COUNT = 1;

	/**
	 * The number of operations of the '<em>Universal</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int UNIVERSAL_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.RulesetImpl <em>Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.RulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getRuleset()
	 * @generated
	 */
	int RULESET = 2;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULESET__NAME = 0;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULESET__CONTEXT = 1;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULESET__RULES = 2;

	/**
	 * The number of structural features of the '<em>Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULESET_FEATURE_COUNT = 3;

	/**
	 * The number of operations of the '<em>Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULESET_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.KindRulesetImpl <em>Kind Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.KindRulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getKindRuleset()
	 * @generated
	 */
	int KIND_RULESET = 3;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int KIND_RULESET__NAME = RULESET__NAME;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int KIND_RULESET__CONTEXT = RULESET__CONTEXT;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int KIND_RULESET__RULES = RULESET__RULES;

	/**
	 * The feature id for the '<em><b>Kind</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int KIND_RULESET__KIND = RULESET_FEATURE_COUNT + 0;

	/**
	 * The number of structural features of the '<em>Kind Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int KIND_RULESET_FEATURE_COUNT = RULESET_FEATURE_COUNT + 1;

	/**
	 * The number of operations of the '<em>Kind Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int KIND_RULESET_OPERATION_COUNT = RULESET_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.SubKindRulesetImpl <em>Sub Kind Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.SubKindRulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getSubKindRuleset()
	 * @generated
	 */
	int SUB_KIND_RULESET = 4;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUB_KIND_RULESET__NAME = RULESET__NAME;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUB_KIND_RULESET__CONTEXT = RULESET__CONTEXT;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUB_KIND_RULESET__RULES = RULESET__RULES;

	/**
	 * The feature id for the '<em><b>Subkind</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUB_KIND_RULESET__SUBKIND = RULESET_FEATURE_COUNT + 0;

	/**
	 * The number of structural features of the '<em>Sub Kind Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUB_KIND_RULESET_FEATURE_COUNT = RULESET_FEATURE_COUNT + 1;

	/**
	 * The number of operations of the '<em>Sub Kind Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUB_KIND_RULESET_OPERATION_COUNT = RULESET_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.RelatorRulesetImpl <em>Relator Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.RelatorRulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getRelatorRuleset()
	 * @generated
	 */
	int RELATOR_RULESET = 5;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET__NAME = RULESET__NAME;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET__CONTEXT = RULESET__CONTEXT;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET__RULES = RULESET__RULES;

	/**
	 * The feature id for the '<em><b>Relator</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET__RELATOR = RULESET_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Relata</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET__RELATA = RULESET_FEATURE_COUNT + 1;

	/**
	 * The feature id for the '<em><b>Mediations</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET__MEDIATIONS = RULESET_FEATURE_COUNT + 2;

	/**
	 * The number of structural features of the '<em>Relator Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET_FEATURE_COUNT = RULESET_FEATURE_COUNT + 3;

	/**
	 * The number of operations of the '<em>Relator Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATOR_RULESET_OPERATION_COUNT = RULESET_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.PhasePartitionRulesetImpl <em>Phase Partition Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.PhasePartitionRulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getPhasePartitionRuleset()
	 * @generated
	 */
	int PHASE_PARTITION_RULESET = 6;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET__NAME = RULESET__NAME;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET__CONTEXT = RULESET__CONTEXT;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET__RULES = RULESET__RULES;

	/**
	 * The feature id for the '<em><b>Bearer</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET__BEARER = RULESET_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Phases</b></em>' reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET__PHASES = RULESET_FEATURE_COUNT + 1;

	/**
	 * The number of structural features of the '<em>Phase Partition Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET_FEATURE_COUNT = RULESET_FEATURE_COUNT + 2;

	/**
	 * The number of operations of the '<em>Phase Partition Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PHASE_PARTITION_RULESET_OPERATION_COUNT = RULESET_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.ModeRulesetImpl <em>Mode Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.ModeRulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getModeRuleset()
	 * @generated
	 */
	int MODE_RULESET = 7;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__NAME = RULESET__NAME;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__CONTEXT = RULESET__CONTEXT;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__RULES = RULESET__RULES;

	/**
	 * The feature id for the '<em><b>Bearer Variable</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__BEARER_VARIABLE = RULESET_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Bearer</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__BEARER = RULESET_FEATURE_COUNT + 1;

	/**
	 * The feature id for the '<em><b>Mode</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__MODE = RULESET_FEATURE_COUNT + 2;

	/**
	 * The feature id for the '<em><b>Characterization</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET__CHARACTERIZATION = RULESET_FEATURE_COUNT + 3;

	/**
	 * The number of structural features of the '<em>Mode Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET_FEATURE_COUNT = RULESET_FEATURE_COUNT + 4;

	/**
	 * The number of operations of the '<em>Mode Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MODE_RULESET_OPERATION_COUNT = RULESET_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.QualityRulesetImpl <em>Quality Ruleset</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.QualityRulesetImpl
	 * @see Alloy.impl.AlloyPackageImpl#getQualityRuleset()
	 * @generated
	 */
	int QUALITY_RULESET = 8;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET__NAME = RULESET__NAME;

	/**
	 * The feature id for the '<em><b>Context</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET__CONTEXT = RULESET__CONTEXT;

	/**
	 * The feature id for the '<em><b>Rules</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET__RULES = RULESET__RULES;

	/**
	 * The feature id for the '<em><b>Bearer</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET__BEARER = RULESET_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Quality</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET__QUALITY = RULESET_FEATURE_COUNT + 1;

	/**
	 * The number of structural features of the '<em>Quality Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET_FEATURE_COUNT = RULESET_FEATURE_COUNT + 2;

	/**
	 * The number of operations of the '<em>Quality Ruleset</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RULESET_OPERATION_COUNT = RULESET_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.RuleImpl <em>Rule</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.RuleImpl
	 * @see Alloy.impl.AlloyPackageImpl#getRule()
	 * @generated
	 */
	int RULE = 9;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE__NAME = 0;

	/**
	 * The feature id for the '<em><b>Shared</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE__SHARED = 1;

	/**
	 * The feature id for the '<em><b>Before</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE__BEFORE = 2;

	/**
	 * The feature id for the '<em><b>After</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE__AFTER = 3;

	/**
	 * The feature id for the '<em><b>Comparisons</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE__COMPARISONS = 4;

	/**
	 * The number of structural features of the '<em>Rule</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE_FEATURE_COUNT = 5;

	/**
	 * The number of operations of the '<em>Rule</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RULE_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.ObtainsExpressionImpl <em>Obtains Expression</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.ObtainsExpressionImpl
	 * @see Alloy.impl.AlloyPackageImpl#getObtainsExpression()
	 * @generated
	 */
	int OBTAINS_EXPRESSION = 10;

	/**
	 * The feature id for the '<em><b>Obtains</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int OBTAINS_EXPRESSION__OBTAINS = 0;

	/**
	 * The number of structural features of the '<em>Obtains Expression</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int OBTAINS_EXPRESSION_FEATURE_COUNT = 1;

	/**
	 * The number of operations of the '<em>Obtains Expression</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int OBTAINS_EXPRESSION_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.SituationImpl <em>Situation</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.SituationImpl
	 * @see Alloy.impl.AlloyPackageImpl#getSituation()
	 * @generated
	 */
	int SITUATION = 11;

	/**
	 * The feature id for the '<em><b>Obtains</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__OBTAINS = OBTAINS_EXPRESSION__OBTAINS;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__NAME = OBTAINS_EXPRESSION_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__VARIABLES = OBTAINS_EXPRESSION_FEATURE_COUNT + 1;

	/**
	 * The feature id for the '<em><b>Bindings</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__BINDINGS = OBTAINS_EXPRESSION_FEATURE_COUNT + 2;

	/**
	 * The feature id for the '<em><b>Relationships</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__RELATIONSHIPS = OBTAINS_EXPRESSION_FEATURE_COUNT + 3;

	/**
	 * The feature id for the '<em><b>Subsituations</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__SUBSITUATIONS = OBTAINS_EXPRESSION_FEATURE_COUNT + 4;

	/**
	 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION__PARAMETERS = OBTAINS_EXPRESSION_FEATURE_COUNT + 5;

	/**
	 * The number of structural features of the '<em>Situation</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION_FEATURE_COUNT = OBTAINS_EXPRESSION_FEATURE_COUNT + 6;

	/**
	 * The number of operations of the '<em>Situation</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SITUATION_OPERATION_COUNT = OBTAINS_EXPRESSION_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.BindingImpl <em>Binding</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.BindingImpl
	 * @see Alloy.impl.AlloyPackageImpl#getBinding()
	 * @generated
	 */
	int BINDING = 12;

	/**
	 * The feature id for the '<em><b>Obtains</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int BINDING__OBTAINS = OBTAINS_EXPRESSION__OBTAINS;

	/**
	 * The feature id for the '<em><b>Classifier</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int BINDING__CLASSIFIER = OBTAINS_EXPRESSION_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Variable</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int BINDING__VARIABLE = OBTAINS_EXPRESSION_FEATURE_COUNT + 1;

	/**
	 * The number of structural features of the '<em>Binding</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int BINDING_FEATURE_COUNT = OBTAINS_EXPRESSION_FEATURE_COUNT + 2;

	/**
	 * The number of operations of the '<em>Binding</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int BINDING_OPERATION_COUNT = OBTAINS_EXPRESSION_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.RelationshipImpl <em>Relationship</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.RelationshipImpl
	 * @see Alloy.impl.AlloyPackageImpl#getRelationship()
	 * @generated
	 */
	int RELATIONSHIP = 13;

	/**
	 * The feature id for the '<em><b>Obtains</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATIONSHIP__OBTAINS = OBTAINS_EXPRESSION__OBTAINS;

	/**
	 * The feature id for the '<em><b>Classifier</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATIONSHIP__CLASSIFIER = OBTAINS_EXPRESSION_FEATURE_COUNT + 0;

	/**
	 * The feature id for the '<em><b>Source</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATIONSHIP__SOURCE = OBTAINS_EXPRESSION_FEATURE_COUNT + 1;

	/**
	 * The feature id for the '<em><b>Target</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATIONSHIP__TARGET = OBTAINS_EXPRESSION_FEATURE_COUNT + 2;

	/**
	 * The number of structural features of the '<em>Relationship</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATIONSHIP_FEATURE_COUNT = OBTAINS_EXPRESSION_FEATURE_COUNT + 3;

	/**
	 * The number of operations of the '<em>Relationship</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int RELATIONSHIP_OPERATION_COUNT = OBTAINS_EXPRESSION_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.MaterialAssociationImpl <em>Material Association</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.MaterialAssociationImpl
	 * @see Alloy.impl.AlloyPackageImpl#getMaterialAssociation()
	 * @generated
	 */
	int MATERIAL_ASSOCIATION = 14;

	/**
	 * The feature id for the '<em><b>Obtains</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION__OBTAINS = RELATIONSHIP__OBTAINS;

	/**
	 * The feature id for the '<em><b>Classifier</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION__CLASSIFIER = RELATIONSHIP__CLASSIFIER;

	/**
	 * The feature id for the '<em><b>Source</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION__SOURCE = RELATIONSHIP__SOURCE;

	/**
	 * The feature id for the '<em><b>Target</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION__TARGET = RELATIONSHIP__TARGET;

	/**
	 * The feature id for the '<em><b>Relator</b></em>' containment reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION__RELATOR = RELATIONSHIP_FEATURE_COUNT + 0;

	/**
	 * The number of structural features of the '<em>Material Association</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION_FEATURE_COUNT = RELATIONSHIP_FEATURE_COUNT + 1;

	/**
	 * The number of operations of the '<em>Material Association</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MATERIAL_ASSOCIATION_OPERATION_COUNT = RELATIONSHIP_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.VariableImpl <em>Variable</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.VariableImpl
	 * @see Alloy.impl.AlloyPackageImpl#getVariable()
	 * @generated
	 */
	int VARIABLE = 15;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int VARIABLE__NAME = 0;

	/**
	 * The number of structural features of the '<em>Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int VARIABLE_FEATURE_COUNT = 1;

	/**
	 * The number of operations of the '<em>Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int VARIABLE_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.ParameterImpl <em>Parameter</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.ParameterImpl
	 * @see Alloy.impl.AlloyPackageImpl#getParameter()
	 * @generated
	 */
	int PARAMETER = 16;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PARAMETER__NAME = VARIABLE__NAME;

	/**
	 * The feature id for the '<em><b>Refers To</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PARAMETER__REFERS_TO = VARIABLE_FEATURE_COUNT + 0;

	/**
	 * The number of structural features of the '<em>Parameter</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PARAMETER_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 1;

	/**
	 * The number of operations of the '<em>Parameter</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int PARAMETER_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.SubstanceVariableImpl <em>Substance Variable</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.SubstanceVariableImpl
	 * @see Alloy.impl.AlloyPackageImpl#getSubstanceVariable()
	 * @generated
	 */
	int SUBSTANCE_VARIABLE = 17;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUBSTANCE_VARIABLE__NAME = VARIABLE__NAME;

	/**
	 * The number of structural features of the '<em>Substance Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUBSTANCE_VARIABLE_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 0;

	/**
	 * The number of operations of the '<em>Substance Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int SUBSTANCE_VARIABLE_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.MomentVariableImpl <em>Moment Variable</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.MomentVariableImpl
	 * @see Alloy.impl.AlloyPackageImpl#getMomentVariable()
	 * @generated
	 */
	int MOMENT_VARIABLE = 18;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MOMENT_VARIABLE__NAME = VARIABLE__NAME;

	/**
	 * The number of structural features of the '<em>Moment Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MOMENT_VARIABLE_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 0;

	/**
	 * The number of operations of the '<em>Moment Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int MOMENT_VARIABLE_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.QualityVariableImpl <em>Quality Variable</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.QualityVariableImpl
	 * @see Alloy.impl.AlloyPackageImpl#getQualityVariable()
	 * @generated
	 */
	int QUALITY_VARIABLE = 19;

	/**
	 * The feature id for the '<em><b>Name</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_VARIABLE__NAME = VARIABLE__NAME;

	/**
	 * The number of structural features of the '<em>Quality Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_VARIABLE_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 0;

	/**
	 * The number of operations of the '<em>Quality Variable</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_VARIABLE_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.QualityRelationImpl <em>Quality Relation</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.QualityRelationImpl
	 * @see Alloy.impl.AlloyPackageImpl#getQualityRelation()
	 * @generated
	 */
	int QUALITY_RELATION = 20;

	/**
	 * The feature id for the '<em><b>Source</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RELATION__SOURCE = 0;

	/**
	 * The feature id for the '<em><b>Target</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RELATION__TARGET = 1;

	/**
	 * The feature id for the '<em><b>Comparator</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RELATION__COMPARATOR = 2;

	/**
	 * The number of structural features of the '<em>Quality Relation</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RELATION_FEATURE_COUNT = 3;

	/**
	 * The number of operations of the '<em>Quality Relation</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_RELATION_OPERATION_COUNT = 0;

	/**
	 * The meta object id for the '{@link Alloy.impl.QualityBindingImpl <em>Quality Binding</em>}' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.impl.QualityBindingImpl
	 * @see Alloy.impl.AlloyPackageImpl#getQualityBinding()
	 * @generated
	 */
	int QUALITY_BINDING = 21;

	/**
	 * The feature id for the '<em><b>Obtains</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_BINDING__OBTAINS = BINDING__OBTAINS;

	/**
	 * The feature id for the '<em><b>Classifier</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_BINDING__CLASSIFIER = BINDING__CLASSIFIER;

	/**
	 * The feature id for the '<em><b>Variable</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_BINDING__VARIABLE = BINDING__VARIABLE;

	/**
	 * The feature id for the '<em><b>Value</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_BINDING__VALUE = BINDING_FEATURE_COUNT + 0;

	/**
	 * The number of structural features of the '<em>Quality Binding</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_BINDING_FEATURE_COUNT = BINDING_FEATURE_COUNT + 1;

	/**
	 * The number of operations of the '<em>Quality Binding</em>' class.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @generated
	 * @ordered
	 */
	int QUALITY_BINDING_OPERATION_COUNT = BINDING_OPERATION_COUNT + 0;

	/**
	 * The meta object id for the '{@link Alloy.Comparator <em>Comparator</em>}' enum.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @see Alloy.Comparator
	 * @see Alloy.impl.AlloyPackageImpl#getComparator()
	 * @generated
	 */
	int COMPARATOR = 22;


	/**
	 * Returns the meta object for class '{@link Alloy.Specification <em>Specification</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Specification</em>'.
	 * @see Alloy.Specification
	 * @generated
	 */
	EClass getSpecification();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Specification#getClassifiers <em>Classifiers</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Classifiers</em>'.
	 * @see Alloy.Specification#getClassifiers()
	 * @see #getSpecification()
	 * @generated
	 */
	EReference getSpecification_Classifiers();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Specification#getRulesets <em>Rulesets</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Rulesets</em>'.
	 * @see Alloy.Specification#getRulesets()
	 * @see #getSpecification()
	 * @generated
	 */
	EReference getSpecification_Rulesets();

	/**
	 * Returns the meta object for class '{@link Alloy.Universal <em>Universal</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Universal</em>'.
	 * @see Alloy.Universal
	 * @generated
	 */
	EClass getUniversal();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.Universal#getName <em>Name</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Name</em>'.
	 * @see Alloy.Universal#getName()
	 * @see #getUniversal()
	 * @generated
	 */
	EAttribute getUniversal_Name();

	/**
	 * Returns the meta object for class '{@link Alloy.Ruleset <em>Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Ruleset</em>'.
	 * @see Alloy.Ruleset
	 * @generated
	 */
	EClass getRuleset();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.Ruleset#getName <em>Name</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Name</em>'.
	 * @see Alloy.Ruleset#getName()
	 * @see #getRuleset()
	 * @generated
	 */
	EAttribute getRuleset_Name();

	/**
	 * Returns the meta object for the containment reference '{@link Alloy.Ruleset#getContext <em>Context</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference '<em>Context</em>'.
	 * @see Alloy.Ruleset#getContext()
	 * @see #getRuleset()
	 * @generated
	 */
	EReference getRuleset_Context();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Ruleset#getRules <em>Rules</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Rules</em>'.
	 * @see Alloy.Ruleset#getRules()
	 * @see #getRuleset()
	 * @generated
	 */
	EReference getRuleset_Rules();

	/**
	 * Returns the meta object for class '{@link Alloy.KindRuleset <em>Kind Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Kind Ruleset</em>'.
	 * @see Alloy.KindRuleset
	 * @generated
	 */
	EClass getKindRuleset();

	/**
	 * Returns the meta object for the reference '{@link Alloy.KindRuleset#getKind <em>Kind</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Kind</em>'.
	 * @see Alloy.KindRuleset#getKind()
	 * @see #getKindRuleset()
	 * @generated
	 */
	EReference getKindRuleset_Kind();

	/**
	 * Returns the meta object for class '{@link Alloy.SubKindRuleset <em>Sub Kind Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Sub Kind Ruleset</em>'.
	 * @see Alloy.SubKindRuleset
	 * @generated
	 */
	EClass getSubKindRuleset();

	/**
	 * Returns the meta object for the reference '{@link Alloy.SubKindRuleset#getSubkind <em>Subkind</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Subkind</em>'.
	 * @see Alloy.SubKindRuleset#getSubkind()
	 * @see #getSubKindRuleset()
	 * @generated
	 */
	EReference getSubKindRuleset_Subkind();

	/**
	 * Returns the meta object for class '{@link Alloy.RelatorRuleset <em>Relator Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Relator Ruleset</em>'.
	 * @see Alloy.RelatorRuleset
	 * @generated
	 */
	EClass getRelatorRuleset();

	/**
	 * Returns the meta object for the reference '{@link Alloy.RelatorRuleset#getRelator <em>Relator</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Relator</em>'.
	 * @see Alloy.RelatorRuleset#getRelator()
	 * @see #getRelatorRuleset()
	 * @generated
	 */
	EReference getRelatorRuleset_Relator();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.RelatorRuleset#getRelata <em>Relata</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Relata</em>'.
	 * @see Alloy.RelatorRuleset#getRelata()
	 * @see #getRelatorRuleset()
	 * @generated
	 */
	EReference getRelatorRuleset_Relata();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.RelatorRuleset#getMediations <em>Mediations</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Mediations</em>'.
	 * @see Alloy.RelatorRuleset#getMediations()
	 * @see #getRelatorRuleset()
	 * @generated
	 */
	EReference getRelatorRuleset_Mediations();

	/**
	 * Returns the meta object for class '{@link Alloy.PhasePartitionRuleset <em>Phase Partition Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Phase Partition Ruleset</em>'.
	 * @see Alloy.PhasePartitionRuleset
	 * @generated
	 */
	EClass getPhasePartitionRuleset();

	/**
	 * Returns the meta object for the reference '{@link Alloy.PhasePartitionRuleset#getBearer <em>Bearer</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Bearer</em>'.
	 * @see Alloy.PhasePartitionRuleset#getBearer()
	 * @see #getPhasePartitionRuleset()
	 * @generated
	 */
	EReference getPhasePartitionRuleset_Bearer();

	/**
	 * Returns the meta object for the reference list '{@link Alloy.PhasePartitionRuleset#getPhases <em>Phases</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference list '<em>Phases</em>'.
	 * @see Alloy.PhasePartitionRuleset#getPhases()
	 * @see #getPhasePartitionRuleset()
	 * @generated
	 */
	EReference getPhasePartitionRuleset_Phases();

	/**
	 * Returns the meta object for class '{@link Alloy.ModeRuleset <em>Mode Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Mode Ruleset</em>'.
	 * @see Alloy.ModeRuleset
	 * @generated
	 */
	EClass getModeRuleset();

	/**
	 * Returns the meta object for the containment reference '{@link Alloy.ModeRuleset#getBearerVariable <em>Bearer Variable</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference '<em>Bearer Variable</em>'.
	 * @see Alloy.ModeRuleset#getBearerVariable()
	 * @see #getModeRuleset()
	 * @generated
	 */
	EReference getModeRuleset_BearerVariable();

	/**
	 * Returns the meta object for the reference '{@link Alloy.ModeRuleset#getBearer <em>Bearer</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Bearer</em>'.
	 * @see Alloy.ModeRuleset#getBearer()
	 * @see #getModeRuleset()
	 * @generated
	 */
	EReference getModeRuleset_Bearer();

	/**
	 * Returns the meta object for the reference '{@link Alloy.ModeRuleset#getMode <em>Mode</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Mode</em>'.
	 * @see Alloy.ModeRuleset#getMode()
	 * @see #getModeRuleset()
	 * @generated
	 */
	EReference getModeRuleset_Mode();

	/**
	 * Returns the meta object for the reference '{@link Alloy.ModeRuleset#getCharacterization <em>Characterization</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Characterization</em>'.
	 * @see Alloy.ModeRuleset#getCharacterization()
	 * @see #getModeRuleset()
	 * @generated
	 */
	EReference getModeRuleset_Characterization();

	/**
	 * Returns the meta object for class '{@link Alloy.QualityRuleset <em>Quality Ruleset</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Quality Ruleset</em>'.
	 * @see Alloy.QualityRuleset
	 * @generated
	 */
	EClass getQualityRuleset();

	/**
	 * Returns the meta object for the reference '{@link Alloy.QualityRuleset#getBearer <em>Bearer</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Bearer</em>'.
	 * @see Alloy.QualityRuleset#getBearer()
	 * @see #getQualityRuleset()
	 * @generated
	 */
	EReference getQualityRuleset_Bearer();

	/**
	 * Returns the meta object for the reference '{@link Alloy.QualityRuleset#getQuality <em>Quality</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Quality</em>'.
	 * @see Alloy.QualityRuleset#getQuality()
	 * @see #getQualityRuleset()
	 * @generated
	 */
	EReference getQualityRuleset_Quality();

	/**
	 * Returns the meta object for class '{@link Alloy.Rule <em>Rule</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Rule</em>'.
	 * @see Alloy.Rule
	 * @generated
	 */
	EClass getRule();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.Rule#getName <em>Name</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Name</em>'.
	 * @see Alloy.Rule#getName()
	 * @see #getRule()
	 * @generated
	 */
	EAttribute getRule_Name();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Rule#getShared <em>Shared</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Shared</em>'.
	 * @see Alloy.Rule#getShared()
	 * @see #getRule()
	 * @generated
	 */
	EReference getRule_Shared();

	/**
	 * Returns the meta object for the containment reference '{@link Alloy.Rule#getBefore <em>Before</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference '<em>Before</em>'.
	 * @see Alloy.Rule#getBefore()
	 * @see #getRule()
	 * @generated
	 */
	EReference getRule_Before();

	/**
	 * Returns the meta object for the containment reference '{@link Alloy.Rule#getAfter <em>After</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference '<em>After</em>'.
	 * @see Alloy.Rule#getAfter()
	 * @see #getRule()
	 * @generated
	 */
	EReference getRule_After();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Rule#getComparisons <em>Comparisons</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Comparisons</em>'.
	 * @see Alloy.Rule#getComparisons()
	 * @see #getRule()
	 * @generated
	 */
	EReference getRule_Comparisons();

	/**
	 * Returns the meta object for class '{@link Alloy.ObtainsExpression <em>Obtains Expression</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Obtains Expression</em>'.
	 * @see Alloy.ObtainsExpression
	 * @generated
	 */
	EClass getObtainsExpression();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.ObtainsExpression#isObtains <em>Obtains</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Obtains</em>'.
	 * @see Alloy.ObtainsExpression#isObtains()
	 * @see #getObtainsExpression()
	 * @generated
	 */
	EAttribute getObtainsExpression_Obtains();

	/**
	 * Returns the meta object for class '{@link Alloy.Situation <em>Situation</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Situation</em>'.
	 * @see Alloy.Situation
	 * @generated
	 */
	EClass getSituation();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.Situation#getName <em>Name</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Name</em>'.
	 * @see Alloy.Situation#getName()
	 * @see #getSituation()
	 * @generated
	 */
	EAttribute getSituation_Name();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Situation#getVariables <em>Variables</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Variables</em>'.
	 * @see Alloy.Situation#getVariables()
	 * @see #getSituation()
	 * @generated
	 */
	EReference getSituation_Variables();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Situation#getBindings <em>Bindings</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Bindings</em>'.
	 * @see Alloy.Situation#getBindings()
	 * @see #getSituation()
	 * @generated
	 */
	EReference getSituation_Bindings();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Situation#getRelationships <em>Relationships</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Relationships</em>'.
	 * @see Alloy.Situation#getRelationships()
	 * @see #getSituation()
	 * @generated
	 */
	EReference getSituation_Relationships();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Situation#getSubsituations <em>Subsituations</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Subsituations</em>'.
	 * @see Alloy.Situation#getSubsituations()
	 * @see #getSituation()
	 * @generated
	 */
	EReference getSituation_Subsituations();

	/**
	 * Returns the meta object for the containment reference list '{@link Alloy.Situation#getParameters <em>Parameters</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference list '<em>Parameters</em>'.
	 * @see Alloy.Situation#getParameters()
	 * @see #getSituation()
	 * @generated
	 */
	EReference getSituation_Parameters();

	/**
	 * Returns the meta object for class '{@link Alloy.Binding <em>Binding</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Binding</em>'.
	 * @see Alloy.Binding
	 * @generated
	 */
	EClass getBinding();

	/**
	 * Returns the meta object for the reference '{@link Alloy.Binding#getClassifier <em>Classifier</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Classifier</em>'.
	 * @see Alloy.Binding#getClassifier()
	 * @see #getBinding()
	 * @generated
	 */
	EReference getBinding_Classifier();

	/**
	 * Returns the meta object for the reference '{@link Alloy.Binding#getVariable <em>Variable</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Variable</em>'.
	 * @see Alloy.Binding#getVariable()
	 * @see #getBinding()
	 * @generated
	 */
	EReference getBinding_Variable();

	/**
	 * Returns the meta object for class '{@link Alloy.Relationship <em>Relationship</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Relationship</em>'.
	 * @see Alloy.Relationship
	 * @generated
	 */
	EClass getRelationship();

	/**
	 * Returns the meta object for the reference '{@link Alloy.Relationship#getClassifier <em>Classifier</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Classifier</em>'.
	 * @see Alloy.Relationship#getClassifier()
	 * @see #getRelationship()
	 * @generated
	 */
	EReference getRelationship_Classifier();

	/**
	 * Returns the meta object for the reference '{@link Alloy.Relationship#getSource <em>Source</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Source</em>'.
	 * @see Alloy.Relationship#getSource()
	 * @see #getRelationship()
	 * @generated
	 */
	EReference getRelationship_Source();

	/**
	 * Returns the meta object for the reference '{@link Alloy.Relationship#getTarget <em>Target</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Target</em>'.
	 * @see Alloy.Relationship#getTarget()
	 * @see #getRelationship()
	 * @generated
	 */
	EReference getRelationship_Target();

	/**
	 * Returns the meta object for class '{@link Alloy.MaterialAssociation <em>Material Association</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Material Association</em>'.
	 * @see Alloy.MaterialAssociation
	 * @generated
	 */
	EClass getMaterialAssociation();

	/**
	 * Returns the meta object for the containment reference '{@link Alloy.MaterialAssociation#getRelator <em>Relator</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the containment reference '<em>Relator</em>'.
	 * @see Alloy.MaterialAssociation#getRelator()
	 * @see #getMaterialAssociation()
	 * @generated
	 */
	EReference getMaterialAssociation_Relator();

	/**
	 * Returns the meta object for class '{@link Alloy.Variable <em>Variable</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Variable</em>'.
	 * @see Alloy.Variable
	 * @generated
	 */
	EClass getVariable();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.Variable#getName <em>Name</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Name</em>'.
	 * @see Alloy.Variable#getName()
	 * @see #getVariable()
	 * @generated
	 */
	EAttribute getVariable_Name();

	/**
	 * Returns the meta object for class '{@link Alloy.Parameter <em>Parameter</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Parameter</em>'.
	 * @see Alloy.Parameter
	 * @generated
	 */
	EClass getParameter();

	/**
	 * Returns the meta object for the reference '{@link Alloy.Parameter#getRefersTo <em>Refers To</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Refers To</em>'.
	 * @see Alloy.Parameter#getRefersTo()
	 * @see #getParameter()
	 * @generated
	 */
	EReference getParameter_RefersTo();

	/**
	 * Returns the meta object for class '{@link Alloy.SubstanceVariable <em>Substance Variable</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Substance Variable</em>'.
	 * @see Alloy.SubstanceVariable
	 * @generated
	 */
	EClass getSubstanceVariable();

	/**
	 * Returns the meta object for class '{@link Alloy.MomentVariable <em>Moment Variable</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Moment Variable</em>'.
	 * @see Alloy.MomentVariable
	 * @generated
	 */
	EClass getMomentVariable();

	/**
	 * Returns the meta object for class '{@link Alloy.QualityVariable <em>Quality Variable</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Quality Variable</em>'.
	 * @see Alloy.QualityVariable
	 * @generated
	 */
	EClass getQualityVariable();

	/**
	 * Returns the meta object for class '{@link Alloy.QualityRelation <em>Quality Relation</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Quality Relation</em>'.
	 * @see Alloy.QualityRelation
	 * @generated
	 */
	EClass getQualityRelation();

	/**
	 * Returns the meta object for the reference '{@link Alloy.QualityRelation#getSource <em>Source</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Source</em>'.
	 * @see Alloy.QualityRelation#getSource()
	 * @see #getQualityRelation()
	 * @generated
	 */
	EReference getQualityRelation_Source();

	/**
	 * Returns the meta object for the reference '{@link Alloy.QualityRelation#getTarget <em>Target</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Target</em>'.
	 * @see Alloy.QualityRelation#getTarget()
	 * @see #getQualityRelation()
	 * @generated
	 */
	EReference getQualityRelation_Target();

	/**
	 * Returns the meta object for the attribute '{@link Alloy.QualityRelation#getComparator <em>Comparator</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the attribute '<em>Comparator</em>'.
	 * @see Alloy.QualityRelation#getComparator()
	 * @see #getQualityRelation()
	 * @generated
	 */
	EAttribute getQualityRelation_Comparator();

	/**
	 * Returns the meta object for class '{@link Alloy.QualityBinding <em>Quality Binding</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for class '<em>Quality Binding</em>'.
	 * @see Alloy.QualityBinding
	 * @generated
	 */
	EClass getQualityBinding();

	/**
	 * Returns the meta object for the reference '{@link Alloy.QualityBinding#getValue <em>Value</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for the reference '<em>Value</em>'.
	 * @see Alloy.QualityBinding#getValue()
	 * @see #getQualityBinding()
	 * @generated
	 */
	EReference getQualityBinding_Value();

	/**
	 * Returns the meta object for enum '{@link Alloy.Comparator <em>Comparator</em>}'.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the meta object for enum '<em>Comparator</em>'.
	 * @see Alloy.Comparator
	 * @generated
	 */
	EEnum getComparator();

	/**
	 * Returns the factory that creates the instances of the model.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the factory that creates the instances of the model.
	 * @generated
	 */
	AlloyFactory getAlloyFactory();

	/**
	 * <!-- begin-user-doc -->
	 * Defines literals for the meta objects that represent
	 * <ul>
	 *   <li>each class,</li>
	 *   <li>each feature of each class,</li>
	 *   <li>each operation of each class,</li>
	 *   <li>each enum,</li>
	 *   <li>and each data type</li>
	 * </ul>
	 * <!-- end-user-doc -->
	 * @generated
	 */
	interface Literals {
		/**
		 * The meta object literal for the '{@link Alloy.impl.SpecificationImpl <em>Specification</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.SpecificationImpl
		 * @see Alloy.impl.AlloyPackageImpl#getSpecification()
		 * @generated
		 */
		EClass SPECIFICATION = eINSTANCE.getSpecification();

		/**
		 * The meta object literal for the '<em><b>Classifiers</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SPECIFICATION__CLASSIFIERS = eINSTANCE.getSpecification_Classifiers();

		/**
		 * The meta object literal for the '<em><b>Rulesets</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SPECIFICATION__RULESETS = eINSTANCE.getSpecification_Rulesets();

		/**
		 * The meta object literal for the '{@link Alloy.impl.UniversalImpl <em>Universal</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.UniversalImpl
		 * @see Alloy.impl.AlloyPackageImpl#getUniversal()
		 * @generated
		 */
		EClass UNIVERSAL = eINSTANCE.getUniversal();

		/**
		 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute UNIVERSAL__NAME = eINSTANCE.getUniversal_Name();

		/**
		 * The meta object literal for the '{@link Alloy.impl.RulesetImpl <em>Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.RulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getRuleset()
		 * @generated
		 */
		EClass RULESET = eINSTANCE.getRuleset();

		/**
		 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute RULESET__NAME = eINSTANCE.getRuleset_Name();

		/**
		 * The meta object literal for the '<em><b>Context</b></em>' containment reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RULESET__CONTEXT = eINSTANCE.getRuleset_Context();

		/**
		 * The meta object literal for the '<em><b>Rules</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RULESET__RULES = eINSTANCE.getRuleset_Rules();

		/**
		 * The meta object literal for the '{@link Alloy.impl.KindRulesetImpl <em>Kind Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.KindRulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getKindRuleset()
		 * @generated
		 */
		EClass KIND_RULESET = eINSTANCE.getKindRuleset();

		/**
		 * The meta object literal for the '<em><b>Kind</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference KIND_RULESET__KIND = eINSTANCE.getKindRuleset_Kind();

		/**
		 * The meta object literal for the '{@link Alloy.impl.SubKindRulesetImpl <em>Sub Kind Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.SubKindRulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getSubKindRuleset()
		 * @generated
		 */
		EClass SUB_KIND_RULESET = eINSTANCE.getSubKindRuleset();

		/**
		 * The meta object literal for the '<em><b>Subkind</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SUB_KIND_RULESET__SUBKIND = eINSTANCE.getSubKindRuleset_Subkind();

		/**
		 * The meta object literal for the '{@link Alloy.impl.RelatorRulesetImpl <em>Relator Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.RelatorRulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getRelatorRuleset()
		 * @generated
		 */
		EClass RELATOR_RULESET = eINSTANCE.getRelatorRuleset();

		/**
		 * The meta object literal for the '<em><b>Relator</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RELATOR_RULESET__RELATOR = eINSTANCE.getRelatorRuleset_Relator();

		/**
		 * The meta object literal for the '<em><b>Relata</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RELATOR_RULESET__RELATA = eINSTANCE.getRelatorRuleset_Relata();

		/**
		 * The meta object literal for the '<em><b>Mediations</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RELATOR_RULESET__MEDIATIONS = eINSTANCE.getRelatorRuleset_Mediations();

		/**
		 * The meta object literal for the '{@link Alloy.impl.PhasePartitionRulesetImpl <em>Phase Partition Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.PhasePartitionRulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getPhasePartitionRuleset()
		 * @generated
		 */
		EClass PHASE_PARTITION_RULESET = eINSTANCE.getPhasePartitionRuleset();

		/**
		 * The meta object literal for the '<em><b>Bearer</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference PHASE_PARTITION_RULESET__BEARER = eINSTANCE.getPhasePartitionRuleset_Bearer();

		/**
		 * The meta object literal for the '<em><b>Phases</b></em>' reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference PHASE_PARTITION_RULESET__PHASES = eINSTANCE.getPhasePartitionRuleset_Phases();

		/**
		 * The meta object literal for the '{@link Alloy.impl.ModeRulesetImpl <em>Mode Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.ModeRulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getModeRuleset()
		 * @generated
		 */
		EClass MODE_RULESET = eINSTANCE.getModeRuleset();

		/**
		 * The meta object literal for the '<em><b>Bearer Variable</b></em>' containment reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference MODE_RULESET__BEARER_VARIABLE = eINSTANCE.getModeRuleset_BearerVariable();

		/**
		 * The meta object literal for the '<em><b>Bearer</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference MODE_RULESET__BEARER = eINSTANCE.getModeRuleset_Bearer();

		/**
		 * The meta object literal for the '<em><b>Mode</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference MODE_RULESET__MODE = eINSTANCE.getModeRuleset_Mode();

		/**
		 * The meta object literal for the '<em><b>Characterization</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference MODE_RULESET__CHARACTERIZATION = eINSTANCE.getModeRuleset_Characterization();

		/**
		 * The meta object literal for the '{@link Alloy.impl.QualityRulesetImpl <em>Quality Ruleset</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.QualityRulesetImpl
		 * @see Alloy.impl.AlloyPackageImpl#getQualityRuleset()
		 * @generated
		 */
		EClass QUALITY_RULESET = eINSTANCE.getQualityRuleset();

		/**
		 * The meta object literal for the '<em><b>Bearer</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference QUALITY_RULESET__BEARER = eINSTANCE.getQualityRuleset_Bearer();

		/**
		 * The meta object literal for the '<em><b>Quality</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference QUALITY_RULESET__QUALITY = eINSTANCE.getQualityRuleset_Quality();

		/**
		 * The meta object literal for the '{@link Alloy.impl.RuleImpl <em>Rule</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.RuleImpl
		 * @see Alloy.impl.AlloyPackageImpl#getRule()
		 * @generated
		 */
		EClass RULE = eINSTANCE.getRule();

		/**
		 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute RULE__NAME = eINSTANCE.getRule_Name();

		/**
		 * The meta object literal for the '<em><b>Shared</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RULE__SHARED = eINSTANCE.getRule_Shared();

		/**
		 * The meta object literal for the '<em><b>Before</b></em>' containment reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RULE__BEFORE = eINSTANCE.getRule_Before();

		/**
		 * The meta object literal for the '<em><b>After</b></em>' containment reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RULE__AFTER = eINSTANCE.getRule_After();

		/**
		 * The meta object literal for the '<em><b>Comparisons</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RULE__COMPARISONS = eINSTANCE.getRule_Comparisons();

		/**
		 * The meta object literal for the '{@link Alloy.impl.ObtainsExpressionImpl <em>Obtains Expression</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.ObtainsExpressionImpl
		 * @see Alloy.impl.AlloyPackageImpl#getObtainsExpression()
		 * @generated
		 */
		EClass OBTAINS_EXPRESSION = eINSTANCE.getObtainsExpression();

		/**
		 * The meta object literal for the '<em><b>Obtains</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute OBTAINS_EXPRESSION__OBTAINS = eINSTANCE.getObtainsExpression_Obtains();

		/**
		 * The meta object literal for the '{@link Alloy.impl.SituationImpl <em>Situation</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.SituationImpl
		 * @see Alloy.impl.AlloyPackageImpl#getSituation()
		 * @generated
		 */
		EClass SITUATION = eINSTANCE.getSituation();

		/**
		 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute SITUATION__NAME = eINSTANCE.getSituation_Name();

		/**
		 * The meta object literal for the '<em><b>Variables</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SITUATION__VARIABLES = eINSTANCE.getSituation_Variables();

		/**
		 * The meta object literal for the '<em><b>Bindings</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SITUATION__BINDINGS = eINSTANCE.getSituation_Bindings();

		/**
		 * The meta object literal for the '<em><b>Relationships</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SITUATION__RELATIONSHIPS = eINSTANCE.getSituation_Relationships();

		/**
		 * The meta object literal for the '<em><b>Subsituations</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SITUATION__SUBSITUATIONS = eINSTANCE.getSituation_Subsituations();

		/**
		 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference SITUATION__PARAMETERS = eINSTANCE.getSituation_Parameters();

		/**
		 * The meta object literal for the '{@link Alloy.impl.BindingImpl <em>Binding</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.BindingImpl
		 * @see Alloy.impl.AlloyPackageImpl#getBinding()
		 * @generated
		 */
		EClass BINDING = eINSTANCE.getBinding();

		/**
		 * The meta object literal for the '<em><b>Classifier</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference BINDING__CLASSIFIER = eINSTANCE.getBinding_Classifier();

		/**
		 * The meta object literal for the '<em><b>Variable</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference BINDING__VARIABLE = eINSTANCE.getBinding_Variable();

		/**
		 * The meta object literal for the '{@link Alloy.impl.RelationshipImpl <em>Relationship</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.RelationshipImpl
		 * @see Alloy.impl.AlloyPackageImpl#getRelationship()
		 * @generated
		 */
		EClass RELATIONSHIP = eINSTANCE.getRelationship();

		/**
		 * The meta object literal for the '<em><b>Classifier</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RELATIONSHIP__CLASSIFIER = eINSTANCE.getRelationship_Classifier();

		/**
		 * The meta object literal for the '<em><b>Source</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RELATIONSHIP__SOURCE = eINSTANCE.getRelationship_Source();

		/**
		 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference RELATIONSHIP__TARGET = eINSTANCE.getRelationship_Target();

		/**
		 * The meta object literal for the '{@link Alloy.impl.MaterialAssociationImpl <em>Material Association</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.MaterialAssociationImpl
		 * @see Alloy.impl.AlloyPackageImpl#getMaterialAssociation()
		 * @generated
		 */
		EClass MATERIAL_ASSOCIATION = eINSTANCE.getMaterialAssociation();

		/**
		 * The meta object literal for the '<em><b>Relator</b></em>' containment reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference MATERIAL_ASSOCIATION__RELATOR = eINSTANCE.getMaterialAssociation_Relator();

		/**
		 * The meta object literal for the '{@link Alloy.impl.VariableImpl <em>Variable</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.VariableImpl
		 * @see Alloy.impl.AlloyPackageImpl#getVariable()
		 * @generated
		 */
		EClass VARIABLE = eINSTANCE.getVariable();

		/**
		 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute VARIABLE__NAME = eINSTANCE.getVariable_Name();

		/**
		 * The meta object literal for the '{@link Alloy.impl.ParameterImpl <em>Parameter</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.ParameterImpl
		 * @see Alloy.impl.AlloyPackageImpl#getParameter()
		 * @generated
		 */
		EClass PARAMETER = eINSTANCE.getParameter();

		/**
		 * The meta object literal for the '<em><b>Refers To</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference PARAMETER__REFERS_TO = eINSTANCE.getParameter_RefersTo();

		/**
		 * The meta object literal for the '{@link Alloy.impl.SubstanceVariableImpl <em>Substance Variable</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.SubstanceVariableImpl
		 * @see Alloy.impl.AlloyPackageImpl#getSubstanceVariable()
		 * @generated
		 */
		EClass SUBSTANCE_VARIABLE = eINSTANCE.getSubstanceVariable();

		/**
		 * The meta object literal for the '{@link Alloy.impl.MomentVariableImpl <em>Moment Variable</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.MomentVariableImpl
		 * @see Alloy.impl.AlloyPackageImpl#getMomentVariable()
		 * @generated
		 */
		EClass MOMENT_VARIABLE = eINSTANCE.getMomentVariable();

		/**
		 * The meta object literal for the '{@link Alloy.impl.QualityVariableImpl <em>Quality Variable</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.QualityVariableImpl
		 * @see Alloy.impl.AlloyPackageImpl#getQualityVariable()
		 * @generated
		 */
		EClass QUALITY_VARIABLE = eINSTANCE.getQualityVariable();

		/**
		 * The meta object literal for the '{@link Alloy.impl.QualityRelationImpl <em>Quality Relation</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.QualityRelationImpl
		 * @see Alloy.impl.AlloyPackageImpl#getQualityRelation()
		 * @generated
		 */
		EClass QUALITY_RELATION = eINSTANCE.getQualityRelation();

		/**
		 * The meta object literal for the '<em><b>Source</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference QUALITY_RELATION__SOURCE = eINSTANCE.getQualityRelation_Source();

		/**
		 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference QUALITY_RELATION__TARGET = eINSTANCE.getQualityRelation_Target();

		/**
		 * The meta object literal for the '<em><b>Comparator</b></em>' attribute feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EAttribute QUALITY_RELATION__COMPARATOR = eINSTANCE.getQualityRelation_Comparator();

		/**
		 * The meta object literal for the '{@link Alloy.impl.QualityBindingImpl <em>Quality Binding</em>}' class.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.impl.QualityBindingImpl
		 * @see Alloy.impl.AlloyPackageImpl#getQualityBinding()
		 * @generated
		 */
		EClass QUALITY_BINDING = eINSTANCE.getQualityBinding();

		/**
		 * The meta object literal for the '<em><b>Value</b></em>' reference feature.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @generated
		 */
		EReference QUALITY_BINDING__VALUE = eINSTANCE.getQualityBinding_Value();

		/**
		 * The meta object literal for the '{@link Alloy.Comparator <em>Comparator</em>}' enum.
		 * <!-- begin-user-doc -->
		 * <!-- end-user-doc -->
		 * @see Alloy.Comparator
		 * @see Alloy.impl.AlloyPackageImpl#getComparator()
		 * @generated
		 */
		EEnum COMPARATOR = eINSTANCE.getComparator();

	}

} //AlloyPackage
